$\forall$$i$, $j$:$\mathbb{Z}$. \{($i$ $\leq$ $j$) $\Leftarrow\!\Rightarrow$ ($i$ $<$ ($j$+1))\}